from typing import List
import random
import time

names: List[str] = ['于红喜', '杨春', '于双喜', '王先荣']
roll: List[str] = list()
while True:
    idx: int = random.randint(0, len(names)-1)
    roll.append(names.pop(idx))
    time.sleep(0.1)
    if len(names)==1:
        break
roll.append(names[0])
print(roll)